$\forall$$a$, $b$:Atom2. Dec($a$ $=$ $b$)